[next] [prev] [prev-tail] [tail] [up]

2.2.4 Integrals 301 to 400

Detailed conclusion table per each integral is given by table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given just an F.

In this table,the column N.S. in the table below, which stands for normalized size is defined as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\). To help make the table fit, Mathematica was abbreviated to MMA.

Problem 301

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F B F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

298 298 251 975 0 1682 0 0 -1

N.S.

1 1.00 0.84 3.27 0.00 5.64 0.00 0.00 -0.00

time (sec)

N/A 0.259 1.121 3.306 0.000 0.378 0.000 0.000 0.000

Problem 302

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B B F(-1) A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

59 59 53 190 127 327 0 92 120

N.S.

1 1.00 0.90 3.22 2.15 5.54 0.00 1.56 2.03

time (sec)

N/A 0.048 0.097 1.103 0.268 0.402 0.000 0.456 0.333

Problem 303

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

31 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.03

time (sec)

N/A 0.050 63.280 180.000 0.000 0.000 0.000 0.000 0.000

Problem 304

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B F F B F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

786 786 3214 0 0 2794 0 0 -1

N.S.

1 1.00 4.09 0.00 0.00 3.55 0.00 0.00 -0.00

time (sec)

N/A 1.043 22.357 180.000 0.000 0.430 0.000 0.000 0.000

Problem 305

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B F F B F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

558 558 1639 0 0 1424 0 0 -1

N.S.

1 1.00 2.94 0.00 0.00 2.55 0.00 0.00 -0.00

time (sec)

N/A 0.719 17.097 180.000 0.000 0.429 0.000 0.000 0.000

Problem 306

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F B F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

334 334 439 954 0 632 0 0 -1

N.S.

1 1.00 1.31 2.86 0.00 1.89 0.00 0.00 -0.00

time (sec)

N/A 0.404 1.843 2.873 0.000 0.372 0.000 0.000 0.000

Problem 307

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

69 69 114 88 95 92 0 121 129

N.S.

1 1.00 1.65 1.28 1.38 1.33 0.00 1.75 1.87

time (sec)

N/A 0.045 0.080 1.125 0.479 0.405 0.000 0.424 1.231

Problem 308

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

29 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.03

time (sec)

N/A 0.032 14.789 180.000 0.000 0.000 0.000 0.000 0.000

Problem 309

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F B F F(-1) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

780 780 1531 0 0 10547 0 0 -1

N.S.

1 1.00 1.96 0.00 0.00 13.52 0.00 0.00 -0.00

time (sec)

N/A 1.269 14.500 2.461 0.000 0.593 0.000 0.000 0.000

Problem 310

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B F F B F F(-1) F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

548 548 1180 0 0 4630 0 0 -1

N.S.

1 1.00 2.15 0.00 0.00 8.45 0.00 0.00 -0.00

time (sec)

N/A 0.933 9.443 2.132 0.000 0.454 0.000 0.000 0.000

Problem 311

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F B F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

295 295 284 1928 0 1411 0 0 -1

N.S.

1 1.00 0.96 6.54 0.00 4.78 0.00 0.00 -0.00

time (sec)

N/A 0.507 1.871 3.107 0.000 0.419 0.000 0.000 0.000

Problem 312

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A B F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

77 77 104 90 115 353 0 108 413

N.S.

1 1.00 1.35 1.17 1.49 4.58 0.00 1.40 5.36

time (sec)

N/A 0.074 0.174 1.248 0.475 0.338 0.000 0.599 1.381

Problem 313

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A F(-1) A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

31 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.03

time (sec)

N/A 0.048 50.058 180.000 0.000 0.000 0.000 0.000 0.000

Problem 314

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B F F B F F(-1) F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

928 928 3368 0 0 15652 0 0 -1

N.S.

1 1.00 3.63 0.00 0.00 16.87 0.00 0.00 -0.00

time (sec)

N/A 1.355 25.773 1.308 0.000 0.625 0.000 0.000 0.000

Problem 315

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F B F F(-1) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

560 560 588 2051 0 5468 0 0 -1

N.S.

1 1.00 1.05 3.66 0.00 9.76 0.00 0.00 -0.00

time (sec)

N/A 0.729 4.960 3.009 0.000 0.443 0.000 0.000 0.000

Problem 316

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A B F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

119 119 104 205 216 893 0 282 381

N.S.

1 1.00 0.87 1.72 1.82 7.50 0.00 2.37 3.20

time (sec)

N/A 0.097 0.137 1.420 0.484 0.442 0.000 0.449 2.204

Problem 317

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A F(-1) A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

31 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.03

time (sec)

N/A 0.048 100.169 180.000 0.000 0.000 0.000 0.000 0.000

Problem 318

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

27 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.04

time (sec)

N/A 0.037 8.707 2.200 0.000 0.000 0.000 0.000 0.000

Problem 319

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

27 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.04

time (sec)

N/A 0.038 5.601 1.902 0.000 0.000 0.000 0.000 0.000

Problem 320

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

25 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.04

time (sec)

N/A 0.029 4.393 0.509 0.000 0.000 0.000 0.000 0.000

Problem 321

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B B F(-1) F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

74 74 78 164 157 435 0 0 199

N.S.

1 1.00 1.05 2.22 2.12 5.88 0.00 0.00 2.69

time (sec)

N/A 0.056 0.424 7.704 0.536 0.389 0.000 0.000 0.560

Problem 322

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F B F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

234 234 175 491 0 1590 0 0 -1

N.S.

1 1.00 0.75 2.10 0.00 6.79 0.00 0.00 -0.00

time (sec)

N/A 0.314 1.143 6.450 0.000 0.376 0.000 0.000 0.000

Problem 323

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F B F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

348 348 634 0 0 3516 0 0 -1

N.S.

1 1.00 1.82 0.00 0.00 10.10 0.00 0.00 -0.00

time (sec)

N/A 0.516 4.728 5.196 0.000 0.385 0.000 0.000 0.000

Problem 324

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B B F(-1) F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

74 74 78 164 157 435 0 0 199

N.S.

1 1.00 1.05 2.22 2.12 5.88 0.00 0.00 2.69

time (sec)

N/A 0.052 0.380 6.458 0.561 0.387 0.000 0.000 0.002

Problem 325

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F B F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

234 234 175 491 0 1590 0 0 -1

N.S.

1 1.00 0.75 2.10 0.00 6.79 0.00 0.00 -0.00

time (sec)

N/A 0.304 0.640 6.205 0.000 0.372 0.000 0.000 0.000

Problem 326

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F B F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

348 348 634 0 0 3516 0 0 -1

N.S.

1 1.00 1.82 0.00 0.00 10.10 0.00 0.00 -0.00

time (sec)

N/A 0.486 0.406 0.038 0.000 0.411 0.000 0.000 0.000

Problem 327

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B B F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

112 112 112 308 413 1293 0 0 -1

N.S.

1 1.00 1.00 2.75 3.69 11.54 0.00 0.00 -0.01

time (sec)

N/A 0.071 0.910 6.909 0.587 0.382 0.000 0.000 0.000

Problem 328

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B B F B F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

306 306 623 805 0 6052 0 0 -1

N.S.

1 1.00 2.04 2.63 0.00 19.78 0.00 0.00 -0.00

time (sec)

N/A 0.371 13.017 6.938 0.000 0.472 0.000 0.000 0.000

Problem 329

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B F F B F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

631 631 5753 0 0 16887 0 0 -1

N.S.

1 1.00 9.12 0.00 0.00 26.76 0.00 0.00 -0.00

time (sec)

N/A 0.776 21.714 5.243 0.000 0.531 0.000 0.000 0.000

Problem 330

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B B F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

112 112 112 308 413 1293 0 0 -1

N.S.

1 1.00 1.00 2.75 3.69 11.54 0.00 0.00 -0.01

time (sec)

N/A 0.071 0.788 6.151 0.588 0.374 0.000 0.000 0.000

Problem 331

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B B F B F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

306 306 623 805 0 6052 0 0 -1

N.S.

1 1.00 2.04 2.63 0.00 19.78 0.00 0.00 -0.00

time (sec)

N/A 0.363 7.268 6.324 0.000 0.421 0.000 0.000 0.000

Problem 332

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B F F B F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

631 631 5753 0 0 16887 0 0 -1

N.S.

1 1.00 9.12 0.00 0.00 26.76 0.00 0.00 -0.00

time (sec)

N/A 0.757 7.413 0.037 0.000 0.627 0.000 0.000 0.000

Problem 333

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B F F B F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

448 448 2945 0 0 3363 0 0 -1

N.S.

1 1.00 6.57 0.00 0.00 7.51 0.00 0.00 -0.00

time (sec)

N/A 0.464 15.282 0.842 0.000 0.494 0.000 0.000 0.000

Problem 334

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B F F B F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

330 330 1301 0 0 1745 0 0 -1

N.S.

1 1.00 3.94 0.00 0.00 5.29 0.00 0.00 -0.00

time (sec)

N/A 0.389 13.171 0.895 0.000 0.383 0.000 0.000 0.000

Problem 335

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F B F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

212 212 206 483 0 780 0 0 -1

N.S.

1 1.00 0.97 2.28 0.00 3.68 0.00 0.00 -0.00

time (sec)

N/A 0.226 0.668 1.290 0.000 0.372 0.000 0.000 0.000

Problem 336

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B B B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

34 34 33 33 83 132 65 60 31

N.S.

1 1.00 0.97 0.97 2.44 3.88 1.91 1.76 0.91

time (sec)

N/A 0.042 0.032 0.426 0.265 0.341 0.432 0.447 0.074

Problem 337

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

35 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.03

time (sec)

N/A 0.043 55.433 180.000 0.000 0.000 0.000 0.000 0.000

Problem 338

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C F F B F(-1) F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

696 696 2963 0 0 6807 0 0 -1

N.S.

1 1.00 4.26 0.00 0.00 9.78 0.00 0.00 -0.00

time (sec)

N/A 0.796 12.580 1.937 0.000 0.451 0.000 0.000 0.000

Problem 339

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C F F B F(-1) F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

510 510 2172 0 0 3459 0 0 -1

N.S.

1 1.00 4.26 0.00 0.00 6.78 0.00 0.00 -0.00

time (sec)

N/A 0.697 8.537 1.839 0.000 0.438 0.000 0.000 0.000

Problem 340

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F B F(-1) F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

327 327 1551 1012 0 1484 0 0 -1

N.S.

1 1.00 4.74 3.09 0.00 4.54 0.00 0.00 -0.00

time (sec)

N/A 0.391 3.136 1.575 0.000 0.421 0.000 0.000 0.000

Problem 341

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B A B F(-1) A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

95 95 109 189 160 446 0 155 212

N.S.

1 1.00 1.15 1.99 1.68 4.69 0.00 1.63 2.23

time (sec)

N/A 0.137 0.423 0.928 0.493 0.344 0.000 0.464 0.488

Problem 342

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A F(-1) A A A F(-1) A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

37 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.03

time (sec)

N/A 0.052 180.002 180.000 0.000 0.000 0.000 0.000 0.000

Problem 343

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B F F B F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

864 864 5041 0 0 15138 0 0 -1

N.S.

1 1.00 5.83 0.00 0.00 17.52 0.00 0.00 -0.00

time (sec)

N/A 0.783 16.878 1.885 0.000 0.546 0.000 0.000 0.000

Problem 344

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B F F B F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

636 636 2455 0 0 7539 0 0 -1

N.S.

1 1.00 3.86 0.00 0.00 11.85 0.00 0.00 -0.00

time (sec)

N/A 0.603 8.929 1.878 0.000 0.427 0.000 0.000 0.000

Problem 345

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F B F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

400 400 551 1102 0 3011 0 0 -1

N.S.

1 1.00 1.38 2.76 0.00 7.53 0.00 0.00 -0.00

time (sec)

N/A 0.348 2.146 1.628 0.000 0.393 0.000 0.000 0.000

Problem 346

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B B F(-1) A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

85 85 90 246 183 652 0 145 180

N.S.

1 1.00 1.06 2.89 2.15 7.67 0.00 1.71 2.12

time (sec)

N/A 0.089 0.231 0.889 0.271 0.392 0.000 0.448 0.428

Problem 347

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A F(-1) A A A F(-1) A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

37 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.03

time (sec)

N/A 0.057 180.002 180.000 0.000 0.000 0.000 0.000 0.000

Problem 348

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B F F B F F(-1) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

1021 1021 3214 0 0 2787 0 0 -1

N.S.

1 1.00 3.15 0.00 0.00 2.73 0.00 0.00 -0.00

time (sec)

N/A 1.081 19.420 180.000 0.000 0.441 0.000 0.000 0.000

Problem 349

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F B F F(-1) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

716 716 872 0 0 1411 0 0 -1

N.S.

1 1.00 1.22 0.00 0.00 1.97 0.00 0.00 -0.00

time (sec)

N/A 0.793 6.781 180.000 0.000 0.412 0.000 0.000 0.000

Problem 350

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F A F F(-1) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

421 421 438 1287 0 631 0 0 -1

N.S.

1 1.00 1.04 3.06 0.00 1.50 0.00 0.00 -0.00

time (sec)

N/A 0.440 1.977 3.087 0.000 0.417 0.000 0.000 0.000

Problem 351

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

69 69 51 97 95 92 0 121 130

N.S.

1 1.00 0.74 1.41 1.38 1.33 0.00 1.75 1.88

time (sec)

N/A 0.059 0.061 1.185 0.472 0.343 0.000 0.445 1.270

Problem 352

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A F(-1) A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

29 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.03

time (sec)

N/A 0.032 10.894 180.000 0.000 0.000 0.000 0.000 0.000

Problem 353

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B F F B F F(-1) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

917 917 1928 0 0 10811 0 0 -1

N.S.

1 1.00 2.10 0.00 0.00 11.79 0.00 0.00 -0.00

time (sec)

N/A 1.381 14.522 2.276 0.000 0.570 0.000 0.000 0.000

Problem 354

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F B F F(-1) F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

648 648 1182 0 0 4750 0 0 -1

N.S.

1 1.00 1.82 0.00 0.00 7.33 0.00 0.00 -0.00

time (sec)

N/A 1.060 9.204 2.519 0.000 0.458 0.000 0.000 0.000

Problem 355

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F B F F(-1) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

335 335 285 1858 0 1462 0 0 -1

N.S.

1 1.00 0.85 5.55 0.00 4.36 0.00 0.00 -0.00

time (sec)

N/A 0.542 2.039 3.199 0.000 0.411 0.000 0.000 0.000

Problem 356

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A B F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

78 78 104 101 117 350 0 106 170

N.S.

1 1.00 1.33 1.29 1.50 4.49 0.00 1.36 2.18

time (sec)

N/A 0.084 0.161 1.187 0.476 0.368 0.000 0.461 0.596

Problem 357

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A F(-1) A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

35 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.03

time (sec)

N/A 0.040 46.131 180.000 0.000 0.000 0.000 0.000 0.000

Problem 358

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B F F B F F(-1) F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

1176 1176 3264 0 0 16498 0 0 -1

N.S.

1 1.00 2.78 0.00 0.00 14.03 0.00 0.00 -0.00

time (sec)

N/A 1.423 25.002 1.258 0.000 0.676 0.000 0.000 0.000

Problem 359

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F B F F(-1) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

711 711 587 2074 0 5790 0 0 -1

N.S.

1 1.00 0.83 2.92 0.00 8.14 0.00 0.00 -0.00

time (sec)

N/A 0.823 6.893 3.826 0.000 0.463 0.000 0.000 0.000

Problem 360

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A B F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

122 122 105 212 218 926 0 286 337

N.S.

1 1.00 0.86 1.74 1.79 7.59 0.00 2.34 2.76

time (sec)

N/A 0.143 0.158 1.316 0.487 0.370 0.000 0.451 1.933

Problem 361

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A F(-1) A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

37 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.03

time (sec)

N/A 0.054 115.445 180.000 0.000 0.000 0.000 0.000 0.000

Problem 362

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B F F B F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

606 606 2518 0 0 7049 0 0 -1

N.S.

1 1.00 4.16 0.00 0.00 11.63 0.00 0.00 -0.00

time (sec)

N/A 0.611 11.054 2.781 0.000 0.470 0.000 0.000 0.000

Problem 363

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B F F B F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

449 449 1324 0 0 3541 0 0 -1

N.S.

1 1.00 2.95 0.00 0.00 7.89 0.00 0.00 -0.00

time (sec)

N/A 0.510 3.394 2.784 0.000 0.395 0.000 0.000 0.000

Problem 364

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F B F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

278 278 422 565 0 1466 0 0 -1

N.S.

1 1.00 1.52 2.03 0.00 5.27 0.00 0.00 -0.00

time (sec)

N/A 0.300 0.700 3.739 0.000 0.368 0.000 0.000 0.000

Problem 365

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B B A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

55 55 49 49 119 309 87 88 46

N.S.

1 1.00 0.89 0.89 2.16 5.62 1.58 1.60 0.84

time (sec)

N/A 0.056 0.108 0.569 0.277 0.365 0.499 0.431 0.111

Problem 366

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A F(-1) A A A F(-1) A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

37 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.03

time (sec)

N/A 0.054 180.001 180.000 0.000 0.000 0.000 0.000 0.000

Problem 367

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B F F B F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

897 897 2729 0 0 13024 0 0 -1

N.S.

1 1.00 3.04 0.00 0.00 14.52 0.00 0.00 -0.00

time (sec)

N/A 1.028 9.802 2.142 0.000 0.507 0.000 0.000 0.000

Problem 368

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F B F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

649 649 991 0 0 6483 0 0 -1

N.S.

1 1.00 1.53 0.00 0.00 9.99 0.00 0.00 -0.00

time (sec)

N/A 0.839 4.684 2.003 0.000 0.449 0.000 0.000 0.000

Problem 369

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F B F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

403 403 676 1128 0 2629 0 0 -1

N.S.

1 1.00 1.68 2.80 0.00 6.52 0.00 0.00 -0.00

time (sec)

N/A 0.498 1.794 3.097 0.000 0.407 0.000 0.000 0.000

Problem 370

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A B F(-1) A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

141 141 123 247 209 745 0 211 278

N.S.

1 1.00 0.87 1.75 1.48 5.28 0.00 1.50 1.97

time (sec)

N/A 0.346 0.285 1.161 0.482 0.380 0.000 0.434 0.614

Problem 371

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A F(-1) A A A F(-1) A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

39 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.03

time (sec)

N/A 0.084 180.000 180.000 0.000 0.000 0.000 0.000 0.000

Problem 372

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B F F B F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

1123 1123 6348 0 0 24245 0 0 -1

N.S.

1 1.00 5.65 0.00 0.00 21.59 0.00 0.00 -0.00

time (sec)

N/A 1.082 16.978 2.240 0.000 0.623 0.000 0.000 0.000

Problem 373

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B F F B F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

819 819 3947 0 0 11997 0 0 -1

N.S.

1 1.00 4.82 0.00 0.00 14.65 0.00 0.00 -0.00

time (sec)

N/A 0.803 9.640 2.224 0.000 0.509 0.000 0.000 0.000

Problem 374

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F B F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

499 499 848 1217 0 4707 0 0 -1

N.S.

1 1.00 1.70 2.44 0.00 9.43 0.00 0.00 -0.00

time (sec)

N/A 0.471 2.291 3.119 0.000 0.460 0.000 0.000 0.000

Problem 375

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B B F(-1) A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

113 113 104 343 234 1069 0 202 238

N.S.

1 1.00 0.92 3.04 2.07 9.46 0.00 1.79 2.11

time (sec)

N/A 0.109 0.351 1.125 0.269 0.379 0.000 0.468 0.593

Problem 376

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A F(-1) A A A F(-1) A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

39 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.03

time (sec)

N/A 0.083 180.000 180.000 0.000 0.000 0.000 0.000 0.000

Problem 377

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B F F B F F(-1) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

1218 1218 2891 0 0 3310 0 0 -1

N.S.

1 1.00 2.37 0.00 0.00 2.72 0.00 0.00 -0.00

time (sec)

N/A 1.302 19.927 2.658 0.000 0.518 0.000 0.000 0.000

Problem 378

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F B F F(-1) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

861 861 1202 0 0 1694 0 0 -1

N.S.

1 1.00 1.40 0.00 0.00 1.97 0.00 0.00 -0.00

time (sec)

N/A 0.990 15.240 2.524 0.000 0.415 0.000 0.000 0.000

Problem 379

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F A F F(-1) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

516 516 441 3882 0 750 0 0 -1

N.S.

1 1.00 0.85 7.52 0.00 1.45 0.00 0.00 -0.00

time (sec)

N/A 0.564 1.943 5.742 0.000 0.398 0.000 0.000 0.000

Problem 380

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A A A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

74 74 78 132 110 111 0 121 174

N.S.

1 1.00 1.05 1.78 1.49 1.50 0.00 1.64 2.35

time (sec)

N/A 0.105 0.078 1.544 0.478 0.377 0.000 0.427 1.261

Problem 381

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A F(-1) A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

35 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.03

time (sec)

N/A 0.040 145.453 180.000 0.000 0.000 0.000 0.000 0.000

Problem 382

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F B F F(-1) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

1118 1118 1614 0 0 10804 0 0 -1

N.S.

1 1.00 1.44 0.00 0.00 9.66 0.00 0.00 -0.00

time (sec)

N/A 1.621 13.554 2.059 0.000 0.561 0.000 0.000 0.000

Problem 383

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F B F F(-1) F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

772 772 1183 0 0 4757 0 0 -1

N.S.

1 1.00 1.53 0.00 0.00 6.16 0.00 0.00 -0.00

time (sec)

N/A 1.234 9.405 2.357 0.000 0.452 0.000 0.000 0.000

Problem 384

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F B F F(-1) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

385 385 284 1928 0 1460 0 0 -1

N.S.

1 1.00 0.74 5.01 0.00 3.79 0.00 0.00 -0.00

time (sec)

N/A 0.632 1.932 5.553 0.000 0.378 0.000 0.000 0.000

Problem 385

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A B F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

90 90 106 103 115 351 0 108 422

N.S.

1 1.00 1.18 1.14 1.28 3.90 0.00 1.20 4.69

time (sec)

N/A 0.086 0.156 1.156 0.471 0.378 0.000 0.476 0.804

Problem 386

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A F(-1) A A A A F(-1) A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

31 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.03

time (sec)

N/A 0.049 180.002 180.000 0.000 0.000 0.000 0.000 0.000

Problem 387

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B F F B F F(-1) F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

1256 1256 2735 0 0 16156 0 0 -1

N.S.

1 1.00 2.18 0.00 0.00 12.86 0.00 0.00 -0.00

time (sec)

N/A 1.645 20.907 1.351 0.000 0.636 0.000 0.000 0.000

Problem 388

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F B F F(-1) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

760 760 588 2068 0 5682 0 0 -1

N.S.

1 1.00 0.77 2.72 0.00 7.48 0.00 0.00 -0.00

time (sec)

N/A 0.944 6.794 4.270 0.000 0.518 0.000 0.000 0.000

Problem 389

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A A B F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

121 121 130 209 219 917 0 281 339

N.S.

1 1.00 1.07 1.73 1.81 7.58 0.00 2.32 2.80

time (sec)

N/A 0.167 0.275 1.477 0.489 0.351 0.000 0.490 2.019

Problem 390

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A F(-1) A A A A F(-1) A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

37 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.03

time (sec)

N/A 0.054 180.002 180.000 0.000 0.000 0.000 0.000 0.000

Problem 391

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B F F B F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

792 792 3901 0 0 13122 0 0 -1

N.S.

1 1.00 4.93 0.00 0.00 16.57 0.00 0.00 -0.00

time (sec)

N/A 0.845 6.470 2.315 0.000 0.537 0.000 0.000 0.000

Problem 392

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B F F B F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

578 578 1945 0 0 6483 0 0 -1

N.S.

1 1.00 3.37 0.00 0.00 11.22 0.00 0.00 -0.00

time (sec)

N/A 0.656 3.299 2.297 0.000 0.422 0.000 0.000 0.000

Problem 393

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F B F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

348 348 460 671 0 2579 0 0 -1

N.S.

1 1.00 1.32 1.93 0.00 7.41 0.00 0.00 -0.00

time (sec)

N/A 0.376 1.724 3.076 0.000 0.396 0.000 0.000 0.000

Problem 394

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B B A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

76 76 71 65 171 602 105 117 63

N.S.

1 1.00 0.93 0.86 2.25 7.92 1.38 1.54 0.83

time (sec)

N/A 0.072 0.146 0.582 0.268 0.368 0.599 0.445 0.144

Problem 395

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A F(-1) A A A F(-1) A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

37 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.03

time (sec)

N/A 0.059 180.003 180.000 0.000 0.000 0.000 0.000 0.000

Problem 396

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C F F B F(-1) F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

1038 1038 6428 0 0 20130 0 0 -1

N.S.

1 1.00 6.19 0.00 0.00 19.39 0.00 0.00 -0.00

time (sec)

N/A 1.297 26.351 1.910 0.000 0.642 0.000 0.000 0.000

Problem 397

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C F F B F(-1) F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

755 755 4023 0 0 9951 0 0 -1

N.S.

1 1.00 5.33 0.00 0.00 13.18 0.00 0.00 -0.00

time (sec)

N/A 1.048 14.829 1.878 0.000 0.533 0.000 0.000 0.000

Problem 398

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F B F(-1) F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

474 474 2275 1213 0 3950 0 0 -1

N.S.

1 1.00 4.80 2.56 0.00 8.33 0.00 0.00 -0.00

time (sec)

N/A 0.617 10.132 1.618 0.000 0.454 0.000 0.000 0.000

Problem 399

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B A B F(-1) A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

184 184 153 355 257 1134 0 258 330

N.S.

1 1.00 0.83 1.93 1.40 6.16 0.00 1.40 1.79

time (sec)

N/A 0.554 1.464 1.176 0.497 0.411 0.000 0.463 0.727

Problem 400

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A F(-1) A A A F(-1) A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

39 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.03

time (sec)

N/A 0.084 180.004 180.000 0.000 0.000 0.000 0.000 0.000

[next] [prev] [prev-tail] [front] [up]